Trong toán học, bất đẳng thức Cauchy – Schwarz, còn được gọi là bất đẳng thức Schwarz, bất đẳng thức Cauchy, hoặc bằng cái tên khá dài là bất đẳng thức Cauchy – Bunyakovsky – Schwarz, đặt theo tên của Augustin Louis Cauchy, Viktor Yakovlevich Bunyakovsky và Hermann Amandus Schwarz, là một bất đẳng thức thường được áp dụng trong nhiều lĩnh vực khác nhau của toán học, chẳng hạn trong đại số tuyến tính dùng cho các vector, trong giải tích dùng cho các chuỗi vô hạn và tích phân của các tích, trong lý thuyết xác suất dùng cho các phương sai và hiệp phương sai.Tài liệu giáo khoa Việt Nam gọi bất đẳng thức này là bất đẳng thức Bunyakovsky hoặc bằng tên dài nói trên nhưng đảo thứ tự là bất đẳng thức Bunyakovsky – Cauchy – Schwarz nên thường viết tắt là bất đẳng thức BCS. Cũng cần tránh nhầm lẫn với bất đẳng thức trung bình cộng và trung bình nhân mà tài liệu giáo khoa tại Việt Nam gọi là bất đẳng thức Cauchy.Bất đẳng thức này phát biểu rằng nếu x và y là các phần tử của không gian tích trong thực hay phức thìDấu đẳng thức xảy khi và chỉ khi x và y phụ thuộc tuyến tính (hay nói theo ý nghĩa hình học là chúng song song với nhau). Một trường hợp đặc biệt nữa của x và y là khi chúng trực giao (hay nói theo ý nghĩa hình học là vuông góc) nhau thì tích trong của chúng bằng 0.Như vậy, có vẻ như bất đẳng thức này cho thấy có mối liên quan giữa khái niệm "góc của hai vector" với khái niệm tích trong, mặc dầu các khái niệm của hình học Euclide có thể không còn mang đầy đủ ý nghĩa trong trường hợp này, và ở mức độ nào đấy, nó cho thấy ý niệm các không gian tích trong là một sự tổng quát hoá của không gian Euclide.Một hệ quả quan trọng của bất đẳng thức Cauchy – Schwarz: tích trong là một hàm liên tục.Một dạng khác của bất đẳng thức Cauchy – Schwarz được phát biểu dưới đây bằng cách dùng ký hiệu chuẩn, với chuẩn ở đây được hiểu là chuẩn trên không gian định chuẩnNăm 1821, Cauchy chứng minh bất đẳng thức này trong trường hợp các vector thực và hữu hạn chiều và đến năm 1859, học trò của Cauchy là Bunyakovsky nhận xét rằng khi chúng ta lấy giới hạn chúng ta có thể thu được dạng tích phân của bất đẳng thức này. Kết quả tổng quát trong trường hợp không gian tích trong được chứng minh bởi Schwarz vào năm 1888.